@InProceedings{LetizioVillAbre:2011:GeTeSc,
               author = "Letizio, Caroline C. and Villas-Boas, Fernando R. and Abreu, Bruno 
                         T. de",
          affiliation = "{Institute of Computing – Unicamp} and {Sofist – Intelligent 
                         Software Testing} and {Sofist – Intelligent Software Testing}",
                title = "Generating test scenarios and improving software quality with 
                         model-based testing",
            booktitle = "Proceedings...",
                 year = "2011",
               editor = "Ambrosio, Ana Maria and Mattiello-Francisco, Maria F{\'a}tima and 
                         Batista, Jo{\~a}o Camargo and Barbosa, Raul and Cancela, 
                         H{\'e}ctor",
         organization = "Latin-American Symposium on Dependable Computing, 5. (LADC).",
            publisher = "Instituto Nacional de Pesquisas Espaciais (INPE)",
              address = "S{\~a}o Jos{\'e} dos Campos",
             abstract = "Todays challenge of softwares lifecycle is to do more with less 
                         resources and costs. In software testing, automated test is being 
                         seen as a means to accomplish this goal. However, there is a lack 
                         of proposals that fo-cus on test design automation. One way to do 
                         it and that is becoming common is model-based tests. This work 
                         briefly presents a tool that eases test design and that 
                         automatically generates test scenarios, presenting too the 
                         opinions of those who tried it.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos",
      conference-year = "25 - 29 apr. 2011",
             language = "en",
         organisation = "Instituto Nacional de Pesquisas Espaciais (INPE)",
                  ibi = "8JMKD3MGP8W/39G24TH",
                  url = "http://urlib.net/ibi/8JMKD3MGP8W/39G24TH",
           targetfile = "2 - 81540.pdf",
                 type = "Fast Abstract",
               volume = "Suplemental",
        urlaccessdate = "04 maio 2024"
}